41. Axiomatising the Logic of Computer Programming
پدیدآورنده : by Robert Goldblatt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
42. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
43. Beginning C object-oriented programming /
پدیدآورنده : Dan Clark
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C# (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C154
C53
2013
44. Beginning C object-oriented programming /
پدیدآورنده : Dan Clark
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C# (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C154
C53
2013
45. Beginning 3D game development with Unity :
پدیدآورنده : Sue Blackman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Unity (Electronic resource),Computer adventure games.,Computer games-- Programming.,Three-dimensional display systems.,Video games-- Design.
رده :
QA76
.
76
.
C672
B58
2011
46. Beginning 3D game development with Unity 4 :
پدیدآورنده : Sue Blackman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer games-- Programming.,Three-dimensional display systems.
رده :
QA76
.
76
.
C672
.
B58
2013eb
47. Beginning 3D game development with Unity 4 :
پدیدآورنده : Sue Blackman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer games-- Programming.,Three-dimensional display systems.
رده :
QA76
.
76
.
C672
.
B58
2013eb
48. C++ programs to accompany programming logic and design
پدیدآورنده : Jo Ann Smith.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Computer programming.
رده :
QA76
.
73
.
C153
J636
2010
49. CAM :
پدیدآورنده : edited by D. Kochan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
50. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
51. CSL'87 lst workshop on computer science logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses
رده :
QA
76
.
6
.
W6
1987
52. Cambridge international AS and A level computing coursebook
پدیدآورنده : Chris Leadbetter, Roger Blackford and Tony Piper.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Textbooks.,Computer science.,INFORMATIK + COMPUTERWISSENSCHAFTEN
رده :
QA76
.
6
C475
2012
53. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
54. Chemoinformatics :
پدیدآورنده : editors Johann Gasteiger, Thomas Engel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
55. Classical and modern controls with microcontrollers :
پدیدآورنده : Ying Bai, Zvi S. Roth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microcontrollers.,Microcontrollers.
رده :
TJ223
.
P76
B335
2019
56. Code Generation - Concepts, Tools, Techniques :
پدیدآورنده : edited by Robert Giegerich, Susan L. Graham.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
57. Code in the cloud
پدیدآورنده : / Mark C. Chu-Carroll
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Google Apps,Google AppEngine,Application software, Development,Cloud computing,Google Apps (Computer software), sears,Web sites, Design, Computer software., sears,Application software., sears
رده :
E-BOOK
58. Comparative approaches to program planning
پدیدآورنده : Netting, F. Ellen.
کتابخانه: Central Library and Documentation Center (Golestan)
موضوع : ، Planning,، Social planning
رده :
HN
28
.
N46
59. Comparative approaches to program planning /
پدیدآورنده : F. Ellen Netting, Mary Katherine O'Connor, David P. Fauri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Planning.,Social planning.,Planning.,Social planning.
رده :
HN28
.
N46
2008
60. Compiler Generators :
پدیدآورنده : by Mads Tofte.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990